bc8f2ee3639390165406f89854577bdb782c6334,python/src/com/jetbrains/python/debugger/array/JBTableWithRowHeaders.java,CustomTableHeader,CustomTableHeader,#JTable#,189
Before Change
public CustomTableHeader(JTable table) {
super();
setColumnModel(table.getColumnModel());
table.getColumnModel().getSelectionModel().addListSelectionListener(new ListSelectionListener() {
@Override
public void valueChanged(ListSelectionEvent e) {
repaint();
}
});
}
@Override
After Change
public CustomTableHeader(JTable table) {
super();
setColumnModel(table.getColumnModel());
table.getColumnModel().getSelectionModel().addListSelectionListener(e -> repaint());
}
@Override